Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

Mining Spatial Associations with Limited Sensory Information

Abstract

Human navigation in an unknown environment requires an understanding of the spatial relationships of the terrain. For example, a soldier who is on a reconnaissance mission in a new city needs to “know” the spatial layout of the surroundings with high confidence. Oftentimes, this understanding must be acquired within a very short amount of time and with limited sensory inputs. The soldier would benefit from a digital avatar that draws inferences about the spatial layout of the city based on an initial set of observations and guides the soldier either in further exploring the environment or in making decisions based on these inferences. In this paper, we present and evaluate an inductive approach to learning spatial associations using sensory data that is available from the simulation environment of a computer game, Unreal Tournament. We study two kinds of spatial relationships between nodes on a level of a game map: nodes that are placed near each other to satisfy some spatial requirement and nodes that are placed near each other to satisfy the design preferences of a level architect. We show that we can infer both kinds of relationships using an association rule mining algorithm. Furthermore, we show how to use an ontology to distinguish between these relationships in order to discover different types of spatial arrangements on a specific map. We discuss how the inferred associations can be used to control an avatar that makes recommendations for navigating unexplored areas on a map. We conclude with some thoughts on the applicability of our methods to scenarios in the real world, beyond the simulation environment of a game, and on how the learned associations can be represented and queried by a simple question-answer type system.     

V-22通过使用试验与评估

经过二十几年的研发历程,美国海军的使用试验与评估部队最近确认V-22“鱼鹰”倾转旋翼机达到了作战效能和作战适用性要求,海军陆战队也认为该项目基本上接近了可以大批量生产的阶段。美国国防采办委员会很快将对该倾转旋翼机进行评审,如果进展顺利,预计首批12架V-22将在2007年投入使用。     

欧洲制造商竞争美陆军运输机项目

近年来,欧洲飞机制造商频频利用与美国本土制造商联手的方式,竞争美国军方的一些航空装备采购计划,以避开美国武器进口限制,将其产品打入美国军用市场。最近,在美国陆军未来货运飞机(FCA)采购项目的竞争中,两家欧洲飞机制造商又采用了同样的手段。     

An imaging telescope for soft gamma-ray astronomy: The preliminary in-flight tests

A large area (6000 cm²) actively shielded low energy gamma-ray telescope is going to be built by an Anglo-Italian collaboration. The telescope, named ZEBRA, will be capable of producing images of the X and gamma ray sky in the energy range 0.015–20 MeV with an intrinsic angular resolution of a few tenths of a degree. A prototype detector has been built in order to experimentally study the main characteristics of the detection plane. The preliminary results obtained during a balloon flight from Trapani, Sicily in July 1981 are presented.     

The position sensitive low energy detector on board the ZEBRA telescope

In order to improve the low energy capability (15 ÷ 150 KeV) of the balloon borne “ZEBRA” low energy gamma imaging telescope (150 KeV-20 MeV), a large area, high spectral resolution (5% at 60 KeV), low background detector has been designed and is now under development.It consists of two MultiWire Spectroscopic Proportional Counter (SPC), escape gated, that have a sensitive area of 6000 cm², and are placed above the large area array of sodiumiodide position sensitive elements.     

Biosignatures from Earth-like planets around M dwarfs

Coupled one-dimensional photochemical-climate calculations have been performed for hypothetical Earth-like planets around M dwarfs. Visible/near-infrared and thermal-infrared synthetic spectra of these planets were generated to determine which biosignature gases might be observed by a future, space-based telescope. Our star sample included two observed active M dwarfs-AD Leo and GJ 643-and three quiescent model stars. The spectral distribution of these stars in the ultraviolet generates a different photochemistry on these planets. As a result, the biogenic gases CH4, N2O, and CH3Cl have substantially longer lifetimes and higher mixing ratios than on Earth, making them potentially observable by space-based telescopes. On the active M-star planets, an ozone layer similar to Earth's was developed that resulted in a spectroscopic signature comparable to the terrestrial one. The simultaneous detection of O2 (or O3) and a reduced gas in a planet's atmosphere has been suggested as strong evidence for life. Planets circling M stars may be good locations to search for such evidence.